Resultaten visas 1 - 10 / 7397
resultat / per sida
Vilka publikationsuppgifter finns i tjänsten?
Publikationens namn
Upphovspersoner
Publikationskanal
År
Publicationer information ikon

Formal Modelling and Verification of Cooperative Ant Behaviour in Event-B

Referentgranskad
DOI
10.1007/978-3-319-10431-7_29
Linas Laibinis; Elena Troubitsyna; Z Graja; F Migeon; AH Kacem
Software Engineering and Formal Methods (SEFM 2014)2014Publicationer information ikon

Formal Derivation of Distributed MapReduce

Referentgranskad
DOI
10.1007/978-3-662-43652-3_21
I Pereverzeva; M Butler; AS Fathabadi; Inna Vistbakka; Linas Laibinis
Proceedings of ABZ 20142014Publicationer information ikon

Formal Derivation of Distributed MapReduce

Öppen tillgång
Linas Laibinis; Michael Butler; Asieh Salehi Fathabadi; Inna Vistbakka; Elena Troubitsyna
Turku Centre for Computer Science (TUCS)2014Publicationer information ikon

Formal modelling of distributed automation CPS with CP-agnostic software

Referentgranskad
DOI
10.1007/978-3-319-51100-9_4
Drozdov, Dmitrii; Patil, Sandeep; Vyatkin, Valeriy
Studies in Computational Intelligence2017Publicationer information ikon

Formal Modelling for Digital Media Distribution

Öppen tillgång
Petter Sandvik
-2015Publicationer information ikon

Pattern-Based Formal Approach to Analyse Security and Safety of Control Systems

Referentgranskad
Öppen tillgång
DOI
10.1007/978-3-030-32872-6_24
Inna Vistbakka; Elena Troubitsyna
Model-Based Safety and Assessment. IMBSA 20192019Publicationer information ikon

Aspects on Modelling and Simulation of Genetic Algorithms: A Formal Approach

Sandqvist, Sam
-2002Publicationer information ikon

Formal Development of Wireless Sensor–Actor Networks

Referentgranskad
DOI
10.1016/j.scico.2012.03.002
Maryam Kamali; Linas Laibinis; Luigia Petre; Kaisa Sere
Science of Computer Programming2014Publicationer information ikon

Formal Verification of Stateful Services with REST APIs Using Event-B

Referentgranskad
DOI
10.1109/ICWS.2018.00024
Irum Rauf; Inna Vistbakka; Elena Troubitsyna
2018 IEEE International Conference on Web Services (ICWS)2018Publicationer information ikon

Formal Modelling of Resilient Data Storage in Cloud

Referentgranskad
Inna Pereverzeva; Linas Laibinis; Elena Troubitsyna; Markus Holmberg; Mikko Pöri
International Conference on Formal Engineering Methods2013

Formal Modelling and Verification of Cooperative Ant Behaviour in Event-B

Referentgranskad
DOI
10.1007/978-3-319-10431-7_29
2014

Formal Derivation of Distributed MapReduce

Referentgranskad
DOI
10.1007/978-3-662-43652-3_21
2014

Formal Derivation of Distributed MapReduce

Öppen tillgång
2014

Formal modelling of distributed automation CPS with CP-agnostic software

Referentgranskad
DOI
10.1007/978-3-319-51100-9_4
2017

Formal Modelling for Digital Media Distribution

Öppen tillgång
2015

Pattern-Based Formal Approach to Analyse Security and Safety of Control Systems

Referentgranskad
Öppen tillgång
DOI
10.1007/978-3-030-32872-6_24
2019

Aspects on Modelling and Simulation of Genetic Algorithms: A Formal Approach

2002

Formal Development of Wireless Sensor–Actor Networks

Referentgranskad
DOI
10.1016/j.scico.2012.03.002
2014

Formal Verification of Stateful Services with REST APIs Using Event-B

Referentgranskad
DOI
10.1109/ICWS.2018.00024
2018

Formal Modelling of Resilient Data Storage in Cloud

Referentgranskad
2013